TAGs: type §